[H/F] PostDoctorant(e) Aspects dynamiques et arithmétiques de la vérification > CNRS > Joboolo FR :

Partager la page

Veuillez partager sur Facebook, Twitter et LinkedIn.

• Fonction publique :
  
  
  Fonction publique de l'État


• Employeur :
  
  
  Centre national de la recherche scientifique (CNRS)

Nature de l’emploi :


Emploi ouvert uniquement aux contractuels

Nature du contrat :


Non renseigné

Expérience souhaitée :


Non renseigné

Rémunération :


Fourchette indicative pour les contractuels à partir de 3080 € brut selon expérience par mois.


Fourchette indicative pour les fonctionnaires :


Non renseignée.

• Catégorie :
  
  
  Catégorie A (cadre)


• Management :
  
  
  Non renseigné


• Télétravail possible :
  
  
  Non renseigné

La recherche sera menée dans le cadre de l'ERC Synergy DynAMICs (Valérie Berthé, Florian Luca et Joël Ouaknine).


Les sujets d'intérêt incluent, mais ne sont pas limités à, l'étude des systèmes dynamiques linéaires, la dynamique symbolique, les suites récurrentes, la vérification, et les aspects logiques de la vérification.

• Recherche dans le cadre du groupe Automates et Applications


• Participation au séminaire de recherche et aux discussions de groupe


• Participation aux réunions, séminaires de recherche et aux discussions menées au sein de l'ERC Dynamics


• Encadrement de stagiaires, collaboration avec des doctorants

La recherche aura lieu au sein de l'équipe Automates et Applications, dont les recherches portent d’une part sur les questions fondamentales de la théorie des automates et d’autre part sur des questions algorithmiques issues de problèmes concrets.

Compétences :

• Doctorat en informatique théorique ou en mathématiques


• Capacité à mener un projet de recherche de façon indépendante


• Rédaction d’articles scientifiques et présentation de travaux en séminaire


• Compétences en organisation et collaboration


• Bonnes compétences en anglais (niveau C1)


• Une expertise en systèmes dynamiques et en vérification est un avantage

Contraintes et risques :


Aucun risque ni contrainte

• Niveau :
  
  
  Niveau 8 (Doctorat ou diplômes équivalents)

Le CNRS est l'une des plus importantes institutions publiques mondiales, comptant plus de 33 000 collaborateurs, dont plus de 16 000 chercheurs et 16 000 ingénieurs et techniciens.


Il développe des recherches pluri et interdisciplinaires en partenariat avec les universités et grandes écoles, à l’échelle nationale, européenne et internationale.


Le lien étroit entre ses missions de recherche et le transfert vers la société en fait un acteur clé de l’innovation en France et dans le monde.


Les partenariats avec les entreprises et la création de start-ups issues de ses laboratoires illustrent le potentiel économique de ses travaux.